#!/dis/sh
(dow month dom time zone year) = `{date}
m = `{echo $month | sed -e 's,Jan,01,;s,Feb,02,;s,Mar,03,;s,Apr,04,;s,May,05,;s,Jun,06,;s,Jul,07,;s,Aug,08,;s,Sep,09,;s,Oct,10,;s,Nov,11,;s,Dec,12,'}

d = `{echo $dom | sed 's,^(.)$,0\1,'}
t = `{echo $time | sed -e 's,:,,g'}
echo $year^$m^$d^'.'^$t
